Kiểu số thực và kiểu logic Boolean

Kiểu số thực

Các phép toán với kiểu số thực

- Các phép toán số học:

Các phép toán cộng (+), trừ (-), nhân (*) và chia (/) có thể áp dụng cho các giá trị kiểu số thực tương tự như kiểu số nguyên.

Nhưng không có các phép toán DĨV, MODcho kiểu số thực.

- Các phép toán so sánh: hoàn toàn tương tự như kiểu số nguyên.

Các hàm dùng cho số thực

- Các hàm tính toán: ABS, SQR, SỌRT. LN. EXP và các hàm lượng giác sử dụng tương tự như với kiếu số nguyên và các kết quả thu được đều là kiểu Real.

- Các hàm chuyển dữ liệu kiểu số thực thành kiểu số nguyên:

- Bỏ phần thập phân chỉ giữ lại phần nguyên của x: TRUNC(x)

- Làm tròn số thực thành số nguyên gần nhất của x: ROUND(x)

Vậy nếu X >= 0 thì ROUND(x) = TRUNC(x+0.5) còn nếu X < 0 thì ROƯND(x) = TRUNC(x-0.5)

- Không có các hàm vị trí áp dụng với sốthực như: succ, PRED, ODD

Ví dụ: ROUND(56.67)= 57 Trunc(56.67)=56

Round(-55.66)= -56 TRUNC(-55.66)=-55

Kiểu logic Boolean:

Định nghĩa

Trong các phép toán so sánh (phép toán quan hệ) với các số thực và số nguyên ở trên bao giờ cũng chỉ thu được một trong hai kết quả có giá trị là Đúng hoặc Sai. Tập hợp của hai giá trị này là một kiểu dữ liệu được định nghĩa sẵn với tên chuẩn BOOLEAN.

Hai giá trị logic này cũng có các tên được định nghĩa sẵn là TRUE(đúng) và FALSE(sai) được xếp theo thứ tự: FALSE <TRUE.

Các phép toán với kiểu logic:

Các phép toán này đều cho kết quả là kiểu logic Boolean. Có các toán tử logic sau đây:

- NOT phủ định (logic đảo): chỉ làm việc với một toán hạng viết bên phải toán tử và cho giá trị ngược lại của toán hạng logic này.

- AND và (logic kết hợp): cho kết quả TRUE khi và chỉ khi cả hai toán hạng đều TRUE.

- OR hoặc (logic đại diện): cho kết quả FALSE khi và chỉ khi cả hai toán hạng đều là FALSE.

- XOR hoặc triệt tiêu (logic loại trừ): cho kết quả TRUE khi hai toán hạng khác nhau và ngược lại.

Ví dụ:

15> 2*5 cho kết quả là TRUE nhưng NOT(15>2*5) sẽ cho kết quả là FALSE Kết quả của các phép toán logic trên đây được tổng kết trong Truth table như sau: