(дискретная )* ∧ - конъюнкция ; ∨ - дизъюнция ; ¬ - отрицание; → -
- импликация.
*//докажите, что следующие формулы опровержимы, не составляя для них таблиц истинности, а указав какие-нибудь значения входящих в них пропозициональных переменных, при которых эти формулы обращаются в ложные высказывания:
1) (( x → ( y ∧ z )) → ( ¬y → ¬x )) → ¬y;
2) (( x ∨ y ) ∨ z ) → (( x ∨ y ) ∧ ( x ∨ z ));
3) (( x ∨ y ) ∧ (( y ∨ z ) ∧ ( z ∨ x → (( x ∧ y) ∧ z );
4) ( x ∧ y ) ∨ ( x ∧ z ) ∨ ( y ∧ z ) ∨ ( u ∧ v ) ∨ ( u ∧ w ) ∨ ( v ∧ w) ∧ ( ¬x ∧ ¬u ).
.
#include <iostream>
using namespace std;
int main ()
{
int a,b;
cin >> a >> b;
if (a<b) cout << a << endl;
else if (a==b) cout << "a=b" << endl;
else cout << b << endl;
system ("PAUSE");
return 0;
}
№2
#include <iostream>
using namespace std;
int main ()
{
char ch1,ch2;
int i1,i2;
cin >> ch1 >> ch2;
i1=ch1;
i2=ch2;
if (i1<=i2) cout << ch1 << ' ' << ch2 << endl;
else cout << ch2 << ' ' << ch1 << endl;
system ("PAUSE");
return 0;
}
№3
#include <iostream>
using namespace std;
int main ()
{
float p,q;
cout << "p=";
cin >> p;
cout << "q=";
cin >> q;
cout << p-2*q << endl;
system ("PAUSE");
return 0;
}