Logical equality
ತಾರ್ಕಿಕ ಸಮಾನತೆಯು ಬೂಲಿಯನ್ ಬೀಜಗಣಿತದಲ್ಲಿನ ಸಮಾನತೆ ಮತ್ತು ಪ್ರತಿಪಾದನೆಯ ಕಲನಶಾಸ್ತ್ರದಲ್ಲಿನ ತಾರ್ಕಿಕ ದ್ವಿ ಷರತ್ತಿಗೆ ಅನುಗುಣವಾದ ತಾರ್ಕಿಕ ನಿರ್ವಾಹಕವಾಗಿದೆ. ಎರಡೂ ಕ್ರಿಯಾತ್ಮಕ ವಾದಗಳು ಒಂದೇ ತಾರ್ಕಿಕ ಮೌಲ್ಯವನ್ನು ಹೊಂದಿದ್ದರೆ ಅದು ಕ್ರಿಯಾತ್ಮಕ ಮೌಲ್ಯವನ್ನು ನಿಜವೆಂದು ಮತ್ತು ಅವು ವಿಭಿನ್ನವಾಗಿದ್ದರೆ ಸುಳ್ಳನ್ನು ನೀಡುತ್ತದೆ. ವಿವಿಧ ಅನ್ವಯಗಳಲ್ಲಿ, ಯಾವಾಗಲೂ ತಾಂತ್ರಿಕವಾಗಿ ನಿಖರವಾಗಿರದಿದ್ದರೂ, ಈ ಕೆಳಗಿನ ಯಾವುದೇ ರೂಪಗಳಿಂದ x ಮತ್ತು y ತಾರ್ಕಿಕ ಕ್ರಿಯೆಗಳ ಮೇಲೆ ತಾರ್ಕಿಕ ಸಮಾನತೆಯ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಸೂಚಿಸುವುದು ಸಾಂಪ್ರದಾಯಿಕ ಅಭ್ಯಾಸವಾಗಿದೆಃ ಆದಾಗ್ಯೂ, ಕೆಲವು ತರ್ಕಶಾಸ್ತ್ರಜ್ಞರು, ಒಂದು ಕ್ರಿಯಾತ್ಮಕ ರೂಪದ ನಡುವೆ ದೃಢವಾದ ವ್ಯತ್ಯಾಸವನ್ನು ಸೆಳೆಯುತ್ತಾರೆ, ಎಡ ಕಾಲಮ್ನಲ್ಲಿರುವಂತೆ, ಇದನ್ನು ಅವರು ಒಂದು ಜೋಡಿ ವಾದಗಳಿಗೆ ಒಂದು ಕಾರ್ಯದ ಅನ್ವಯವೆಂದು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತಾರೆ-ಮತ್ತು ಆದ್ದರಿಂದ ಸಂಯುಕ್ತ ಅಭಿವ್ಯಕ್ತಿಯ ಮೌಲ್ಯವು ಘಟಕ ಅಭಿವ್ಯಕ್ತಿಗಳ ಮೌಲ್ಯಗಳ ಮೇಲೆ ಅವಲಂಬಿತವಾಗಿದೆ ಎಂಬುದರ ಕೇವಲ ಸೂಚನೆಯಾಗಿದೆ-ಮತ್ತು ಬಲ ಕಾಲಮ್ನಲ್ಲಿರುವಂತೆ ಸಮೀಕರಣದ ರೂಪ, ಇದನ್ನು ಅವರು ವಾದಗಳು ಸಮಾನ ಮೌಲ್ಯಗಳನ್ನು ಹೊಂದಿವೆ ಎಂಬ ಪ್ರತಿಪಾದನೆಯಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸುತ್ತಾರೆ, ಬೇರೆ ರೀತಿಯಲ್ಲಿ ಹೇಳುವುದಾದರೆ, ಸಂಯುಕ್ತ ಅಭಿವ್ಯಕ್ತಿಯ ಕ್ರಿಯಾತ್ಮಕ ಮೌಲ್ಯವು ನಿಜವಾಗಿದೆ. ವ್ಯಾಖ್ಯಾನ ತಾರ್ಕಿಕ ಸಮಾನತೆಯು ಎರಡು ತಾರ್ಕಿಕ ಮೌಲ್ಯಗಳ ಮೇಲಿನ ಒಂದು ಕಾರ್ಯಾಚರಣೆಯಾಗಿದೆ, ಸಾಮಾನ್ಯವಾಗಿ ಎರಡು ಪ್ರತಿಪಾದನೆಗಳ ಮೌಲ್ಯಗಳು, ಎರಡೂ ಒಪೆರಾಂಡ್ಗಳು ತಪ್ಪಾಗಿದ್ದರೆ ಅಥವಾ ಎರಡೂ ಒಪೆರಾಂಡ್ಗಳು ನಿಜವಾಗಿದ್ದರೆ ಮಾತ್ರ ಅದು ನಿಜವಾದ ಮೌಲ್ಯವನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ. p EQ q ನ ಸತ್ಯ ಕೋಷ್ಟಕವು (p = q, p ಷ್ಣ q, Epq, p ಷ್ಣ q, ಅಥವಾ p = = q ಎಂದೂ ಬರೆಯಲಾಗಿದೆ) ಈ ಕೆಳಗಿನಂತಿದೆಃ {| ಕ್ಲಾಸ್ = "ವಿಕಿಟೇಬಲ್" ಶೈಲಿ = "ಪಠ್ಯ-ಜೋಡಣೆಃ ಕೇಂದ್ರ" | + ತಾರ್ಕಿಕ ಸಮಾನತೆ! ಪಿ! ಕ್ಯೂ! p = q |-| 0 | | 0 | | | 1 |-| 0 | | 1 | | | 1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | x ಮತ್ತು y ಒಪೆರಾಂಡ್ಗಳಿಗೆ, ತಾರ್ಕಿಕ ಸಮಾನತೆ ಆಪರೇಟರ್ನ ಸತ್ಯ ಕೋಷ್ಟಕವು ಈ ಕೆಳಗಿನಂತಿರುತ್ತದೆಃ {| ಕ್ಲಾಸ್ = "ವಿಕಿಬಲ್"! ಕೋಲ್ಸ್ = "2" ರೋಸ್ಪ್ಯಾನ್ = "2" |! ! ಕೋಲ್ಸ್ = "2" | y |-! ಟಿ! ! ಎಫ್ |-! ರೋಸ್ಪ್ಯಾನ್ = "2" | x! ! ಟಿ | ಶೈಲಿ = "ಪ್ಯಾಡಿಂಗ್ಃ 1ಇಎಂ;" | ಟಿ | ಶೈಲಿ = "ಪ್ಯಾಡಿಂಗ್ಃ 1ಇಎಂ;" | ಎಫ್ |-! F | ಶೈಲಿ = "ಪ್ಯಾಡಿಂಗ್ಃ 1em;" | F | ಶೈಲಿ = "ಪ್ಯಾಡಿಂಗ್ಃ 1em;" | T |} ಅಸಮಾನತೆ ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ, ಪ್ಲಸ್ ಚಿಹ್ನೆ "+" ಬಹುತೇಕ ಏಕರೂಪವಾಗಿ ಕ್ಷೇತ್ರ ಎಂದು ಕರೆಯಲ್ಪಡುವ ಬೀಜಗಣಿತದ ರಚನೆಯ ಪ್ರಕಾರದಲ್ಲಿ ಸೇರ್ಪಡೆಗೆ ನಿಗದಿಪಡಿಸಲಾದ ಸೂತ್ರಗಳನ್ನು ತೃಪ್ತಿಪಡಿಸುವ ಕಾರ್ಯಾಚರಣೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಬೂಲಿಯನ್ ಬೀಜಗಣಿತಕ್ಕೆ, ಇದರರ್ಥ "+" ನಿಂದ ಸೂಚಿಸಲಾದ ತಾರ್ಕಿಕ ಕಾರ್ಯಾಚರಣೆಯು "ಷ್ಣ" ದಿಂದ ಸೂಚಿಸಲಾದ ಅಂತರ್ಗತ ವಿಭಜನೆಗೆ ಸಮನಾಗಿರುವುದಿಲ್ಲ ಆದರೆ ವಾಸ್ತವವಾಗಿ "ಷ್ಣ" ದಿಂದ ಸೂಚಿಸಲಾದ ತಾರ್ಕಿಕ ಅಸಮಾನತೆಯ ಆಪರೇಟರ್ಗೆ ಸಮನಾಗಿರುತ್ತದೆ, ಅಥವಾ ಅದೇ ವಿಷಯಕ್ಕೆ ಸಮನಾಗಿರುತ್ತದೆ, "XOR" ಅಥವಾ "ಷ್ಣ" ದಿಂದ ಸೂಚಿಸಲಾದ ವಿಶೇಷ ವಿಭಜನೆ. ಸ್ವಾಭಾವಿಕವಾಗಿ, ಬಳಕೆಯಲ್ಲಿನ ಈ ವ್ಯತ್ಯಾಸಗಳು ವರ್ಷಗಳಲ್ಲಿ ಗಣಿತಶಾಸ್ತ್ರಜ್ಞರು ಮತ್ತು ಬದಲಾಗುತ್ತಿರುವ ಎಂಜಿನಿಯರ್ಗಳ ನಡುವೆ ಸಂವಹನ ನಡೆಸಲು ಕೆಲವು ವೈಫಲ್ಯಗಳನ್ನು ಉಂಟುಮಾಡಿವೆ. ಹೇಗಾದರೂ, ತಾರ್ಕಿಕ ಅಸಮಾನತೆಗೆ ಸಂಬಂಧಿಸಿದ ಚಿಹ್ನೆಗಳಿಗೆ ಈ ಕೆಳಗಿನ ಅನುಗುಣವಾದ ರೂಪಗಳ ಶ್ರೇಣಿಯನ್ನು ಹೊಂದಿದೆಃ ಸರ್ಕ್ಯೂಟ್ ಎಂಜಿನಿಯರ್ಗಳ ಸಂಯೋಜಿತ ತರ್ಕದಲ್ಲಿ "ಇಕ್ಯೂ" ಅನ್ನು ಸಾಮಾನ್ಯವಾಗಿ "ಎಕ್ಸ್ಎನ್ಒಆರ್" ಎಂದು ಏಕೆ ಕರೆಯಲಾಗುತ್ತದೆ ಎಂಬುದನ್ನು ಇದು ವಿವರಿಸುತ್ತದೆ, ಏಕೆಂದರೆ ಇದು ಎಕ್ಸ್ಒಆರ್ ಕಾರ್ಯಾಚರಣೆಯ ನಿರಾಕರಣೆಯಾಗಿದೆ; "ಎನ್ಎಕ್ಸ್ಒಆರ್" ಕಡಿಮೆ ಸಾಮಾನ್ಯವಾಗಿ ಬಳಸುವ ಪರ್ಯಾಯವಾಗಿದೆ. "XNOR" ಎಂಬ ಮಾನ್ಯವಾದ ಸರ್ಕ್ಯೂಟಸ್ ಹೆಸರಿನ ಮತ್ತೊಂದು ತರ್ಕಬದ್ಧತೆಯು "ಎರಡೂ ಸುಳ್ಳು" ಆಪರೇಟರ್ NOR ನಿಂದ ಪ್ರಾರಂಭವಾಗುತ್ತದೆ ಮತ್ತು ನಂತರ ಎಕ್ಸೆಪ್ಶನ್ "ಅಥವಾ ಎರಡೂ ಸತ್ಯ" ವನ್ನು ಸೇರಿಸುತ್ತದೆ. ಬೂಲಿಯನ್ ಕಾರ್ಯವನ್ನು ಸಹ ನೋಡಿಃ ತಾರ್ಕಿಕ ಸಮಾನತೆ ತಾರ್ಕಿಕ ದ್ವಿ ಷರತ್ತುಗಳ ಪ್ರಸ್ತಾವಣಾ ಕಲನಶಾಸ್ತ್ರ ಉಲ್ಲೇಖಗಳು ಮ್ಯಾಥ್ ವರ್ಲ್ಡ್, XNOR ಸಮಾನತೆ ಸಮಾನತೆ (ಗಣಿತ) ಅನ್ನು ಬಾಹ್ಯ ಸಂಪರ್ಕಗಳೊಂದಿಗೆ ಸಂಪರ್ಕಿಸಿದರೆ ಮಾತ್ರ.