სამმნიშვნელობიანი ლოგიკა: განსხვავება გადახედვებს შორის
[შემოწმებული ვერსია] | [შემოწმებული ვერსია] |
შიგთავსი ამოიშალა შიგთავსი დაემატა
ხაზი 292:
* <math>A \lor B = (A \rightarrow B) \rightarrow B</math>
* <math>A \land B = \neg (\neg A \lor \neg B)</math>
* <math>A \
[[კატეგორია: სამობითი ლოგიკა]]
|